Prof. Dr. Dr.h.c.

Email

abraham at cs.rwth-aachen.de

Address

Room 4229
Ahornstraße 55
D-52074 Aachen

Phone

+49 241 80 21242

Current research activities:

• modeling, synthesis, and analysis of hybrid systems,
• analysis of probabilistic systems, probabilistic hyperproperties,
• SMT solving with a focus on real algebra,
• SMT-based planning and scheduling,
• energy optimization.

Curriculum vitae
Projects
Teaching
School activities
Women in Computer Science

Some further links: ACM-WE interview

Publications